SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers

Digital controllers have several advantages with respect to their flexibility and design's simplicity. However, they are subject to problems that are not faced by analog controllers. In particular, these problems are related to the finite word-length implementation that might lead to overflows, limit cycles, and time constraints in fixed-point processors. This paper proposes a new method to detect design's errors in digital controllers using a state-of-the art bounded model checker based on satisfiability modulo theories. The experiments with digital controllers for a ball and beam plant demonstrate that the proposed method can be very effective in finding errors in digital controllers than other existing approaches based on traditional simulations tools

Students’ Characteristics and Teachers’ Estimates about Their Academic Achievement

The relation between teachers’ expectations and students’ academic achievement has received considerable interest in the education and psychology domains. In this study, we analyze the extent to which the information about students influences the formulation of teachers’ estimates about their achievement. The sample consisted of 491 Portuguese teachers, aged between 26 and 82 years old (M age = 43 years). To assess the teachers’ estimates, we created excerpts containing information about hypothetical students, in relation to whom an estimate of academic success was required. Each excerpt had two versions (A and B), according to the more or less favorable information regarding students’ intellectual, family, self-regulation, and previous performance variables. The results show moderate differences between the estimates of the participants that received version A and those that received version B. The results are discussed considering the importance of a set of student characteristics for the way teachers develop estimates about student performance.La relación entre las expectativas de los profesores y el rendimiento académico de los estudiantes ha sido investigada con gran interés. En este estudio se analiza la influencia de la información sobre los estudiantes, en la formulación de estimaciones docentes acerca de sus rendimientos académicos. La muestra estuvo compuesta por 491 profesores, comprendidos entre los 26 y 82 años de edad (M edad = 43). Para evaluar las estimaciones, fueron creados diferentes extractos con información sobre estudiantes hipotéticos, acerca de los cuales era solicitada una estimación de éxito académico. Cada extracto poseía dos versiones (A y B), sobre la información del estudiante, más o menos favorable sobre variables intelectuales, sociodemográficas, familiares, autorregulación y rendimiento académico anterior. Los resultados muestran diferencias moderadas entre las estimaciones de los participantes que recibieron la versión A y las efectuadas por los que recibieron la versión B. Lo anterior, permite arribar a la conclusión de que aquellas características son relevantes para los profesores para realizar sus estimaciones, relativas al desempeño académico de los estudiantes.A relação entre as expectativas dos professores e o desempenho acadêmico dos estudantes tem recebido muito interesse da investigação. Neste estudo, analisamos a extensão em que a informação sobre os estudantes influencia as estimativas docentes acerca do seu potencial desempenho acadêmico. A amostra consistiu em 491 professores, com idades entre 26 e 82 anos (M idade = 43). Para avaliar as estimativas, foram criados diferentes excertos contendo informação sobre estudantes hipotéticos, acerca dos quais era solicitada estimativa de sucesso escolar. Cada excerto tinha duas versões (A e B), conforme a informação sobre o estudante fosse mais ou menos favorável, relativamente a variáveis intelectuais, sociodemográficas, autorregulação e desempenho anterior. Os resultados mostram diferenças moderadas entre as estimativas dos participantes que receberam a versão A, comparativamente aos que receberam a versão B, permitindo concluir que aquelas características são relevantes na forma como os docentes desenvolvem estimativas acerca do desempenho acadêmico dos estudantes

Mobile learning e educação em saúde: estudo de caso no ensino superior de práticas laboratoriais

O mobile learning continua a ser uma área emergente na educação a distância e elearning, em que se tira partido, por exemplo, do poder ubíquo dos dispositivos móveis. Assim, importa perceber de que modo podem ser integrados no processo de ensino e aprendizagem. Em particular, e com este estudo, pretendeu-se perceber de que modo o m-learning e a utilização de dispositivos móveis potencia a educação em saúde, nomeadamente em aulas de hematologia laboratorial. Metodologicamente, optou-se pelo estudo de caso, tendo-se implementado inquéritos por questionário e realizado observação participante. Os dados recolhidos foram analisados com recurso à análise estatística e à análise de conteúdo. Dos resultados obtidos, é possível concluir que com a utilização dos dispositivos móveis a abordagem e resolução de problemas foi facilitada em Hematologia. Mais especificamente, a utilização de apps, como o CellAtlas e o Moxtra, permitiu superar dificuldades na execução de técnicas laboratoriais. Além destes aspetos, foram evidenciados outros, entre os quais uma maior estabilidade emocional em provas de avaliação e a subsequente melhoria nas respetivas classificações. Em síntese, considera-se que a introdução de atividades e estratégias mobile learning na Escola Superior de Tecnologia da Saúde de Lisboa é uma realidade que se prevê irreversível, até por já não estar circunscrita à unidade curricular do Curso de Ciências Biomédicas Laboratoriais que despoletou esta abordagem pedagógica inovadora.Mobile learning is presently an emergent area in distance education and elearning that takes advantage of the ubiquitous and widespread use of mobile devices. Thus, the understanding of the potential associated with the integration in teaching and learning processes is crucial and foremost important. This study aims to understand how mobile learning and the use of mobile devices can improve health education, particularly in the context of hematology laboratory lessons. Methodologically, we opted for a case study, implementing surveys and conducting participant observation. The collected data was analyzed through statistical analysis and content analysis methods. The results obtained show that the use of mobile devices enables problem-solving capacities in hematology. Specifically, the use of apps, such as CellAtlas and Moxtra, allowed to overcome difficulties regarding the implementation of laboratory techniques. Our results also evidenced the enhancement of emotional stability in evaluation moments and the improvement of students’ ratings. Overall, we consider that the introduction of mobile learning strategies and activities at the Lisbon School of Health Technology is irreversible, and not limited to the curricular unit of the Biomedical Laboratory Science course, which was the promoter of this innovative pedagogical approach

E-learning em saúde

O mobile learning continua a ser uma área emergente na educação a distância e-learning, em que se tira partido, por exemplo, do poder ubíquo dos dispositivos móveis. Assim, importa perceber de que modo pode ser integrado no processo de ensino e aprendizagem. Em particular, e com este estudo, pretendeu-se perceber de que modo o m-learning e a utilização de dispositivos móveis potencia a educação em saúde, nomeadamente em aulas de hematologia laboratorial. Metodologicamente optou-se pelo estudo de caso, tendo-se implementado inquéritos por questionário e realizado observação participante. Os dados recolhidos foram analisados com recurso à análise estatística e à análise de conteúdo. Dos resultados obtidos é possível concluir que, com a utilização dos dispositivos móveis, a abordagem e resolução de problemas foi facilitada em hematologia. Mais especificamente, a utilização de apps, como o CellAtlas e o Moxtra, permitiu superar dificuldades na execução de técnicas laboratoriais. Além destes aspetos, foram evidenciados outros, entre os quais uma maior estabilidade emocional em provas de avaliação e a subsequente melhoria nas respetivas classificações. Em síntese, considera-se que a introdução de atividades e estratégias mobile learning na Escola Superior de Tecnologia da Saúde de Lisboa é uma realidade que se prevê irreversível, até por já não estar circunscrita à unidade curricular do curso de Ciências Biomédicas Laboratoriais que despoletou esta abordagem pedagógica inovadora.info:eu-repo/semantics/publishedVersio

Internet e web-deliberação : implicações para a teoria democrática

Monografia (graduação)—Universidade de Brasília, Instituto de Ciência Política, 2014.A Internet tornou-se um dos principais meios de comunicação, difusão de conhecimento e transmissão de informações na sociedade contemporânea. É necessário compreender como a evolução de suas ferramentas possibilitou a criação desse novo ambiente, identificando suas características e seus propósitos básicos. Dessa forma, o esforço analítico deste trabalho tem como meta avaliar a dinâmica interacional presente no espaço virtual, a partir de pressupostos teóricos que auxiliem a definir a natureza da deliberação ocorrida em âmbito online. Nesse sentido, torna-se essencial a discussão dos conceitos de esfera pública e democracia deliberativa desenvolvidos pelo sociólogo alemão Jürgen Habermas, bem como a evolução da chamada Web 2.0 e os riscos que sua expansão significam. A partir dessas inferências, o estudo da dinâmica regulatória da Internet e da atuação de corporações como a ICANN e de empresas como a NSI ajuda a entender como interesses privados podem interferir no funcionamento da Web 2.0 e na própria dinâmica de interação entre usuários. À luz de todas essas considerações, sugere-se a determinação desse novo ambiente comunicativo-interacional online como uma esfera deliberativa privada, em que contratos celebrados entre os usuários e os administradores dos sites significam a tentativa de constituir, a partir da liberdade contratual, as regras de comunicação virtual. _________________________________________________________________________ ABSTRACTThe Internet has become a major means of communication, knowledge dissemination and transmission of information in contemporary society. It is imperative to understand how the evolution of its tools enabled the creation of this new environment, as well as identify its characteristics and basic purposes. Thus, the analytical effort of this work aims to evaluate the dynamics of interaction present in the virtual space, from theoretical assumptions that help to define the nature of the deliberations in online context. In this sense, it is essential to discuss the concepts of public sphere and deliberative democracy developed by the German sociologist Jürgen Habermas, as well as the evolution of the Web 2.0 and the risks associated with its expansion. From these inferences, the study of regulatory dynamics of the Internet and the actions of corporations such as ICANN and companies like NSI helps to understand how private interests may affect the operational performance of Web 2.0 and the interaction between users. In light of all these considerations, it seems viable to recognize this recent interactive online environment as a deliberative private sphere, where contracts between users and site administrators mean the constitution, organized based on contractual freedom, of virtual communication rules